#ifndef __BSP_TIMER_H__
#define __BSP_TIMER_H__
//----------------------- Include files ------------------------//
#include "stm32f4xx_rcc.h"
#include "stm32f4xx_gpio.h"
#include "stm32f4xx_tim.h"

extern unsigned char Task_timer_flag;

void TIM4_Encoder_Init(void);
void Encoder4_Get_CNT(int32_t *pulse);
void TIM2_Encoder_Init(void);
void Encoder2_Get_CNT(int32_t *pulse);
void TIM5_Init(uint16_t arr,uint16_t psc);

void TIM_PWM_init(void);
void TIM_Counter_init(void);
void Initial_System_Timer(void);

#define micros() TIM5->CNT	

#endif
